subadditive ergodic theorem

次附加各态历经定理